"Jens Palsberg" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)

Jens Palsberg, Zhendong Su

Категория: Компьютеры

4.10 Mb

#2

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Категория: Компьютеры

4.85 Mb

#3

Modern Compiler Implementation in Java

Andrew W. Appel, Jens Palsberg

8.02 Mb

#4

Tools and Algorithms for the Construction and Analysis of Systems, 12 conf., TACAS 2006

Holger Hermanns, Jens Palsberg

Категория: Cs_Computer science, CsLn_Lecture notes

5.35 Mb

#5

Model Checking Software, 15 conf

Klaus Havelund, Rupak Majumdar, Jens Palsberg

Категория: CsLn_

11.26 Mb

#6

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Jens Palsberg

6.26 Mb

#7

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

Jens Palsberg

4.19 Mb